Semantics naturalized: Propositional indexing plus interactive perception
نویسنده
چکیده
A concrete proposal is presented as to how semantics should be naturalized. Rather than attempting to naturalize propositions, they are treated as abstract entities that index concrete cognitive states. In turn the relevant concrete cognitive states are identified via perceptual classifications of worldly states, with the aid of an interactive theory of perception. The approach enables a broadly realist theory of propositions, truth and cognitive states to be preserved, with propositions functioning much as abstract mathematical constructs do in the nonsemantic sciences, but with a much more specific propositional indexing scheme than previous naturalistic proposals were able to achieve.
منابع مشابه
Automated Reasoning I∗
Preliminaries abstract reduction systems well-founded orderings Propositional logic syntax, semantics calculi: DPLL-procedure, . . . implementation: 2-watched literals, clause learning First-order predicate logic syntax, semantics, model theory, . . . calculi: resolution, tableaux, . . . implementation: sharing, indexing First-order predicate logic with equality term rewriting systems calculi: ...
متن کاملAn Interactive Prover for Bi-intuitionistic Logic
In this paper we present an interactive prover for deciding formulas in propositional bi-intuitionistic logic (BiInt). This tool is based on a recent connection-based characterization of bi-intuitionistic validity through bi-intuitionistic resource graphs (biRG). After giving the main concepts and principles we illustrate how to use this interactive proof or counter-model building assistant and...
متن کاملInfinitary Classical Logic: Recursive Equations and Interactive Semantics
In this paper, we present an interactive semantics for derivations in an infinitary extension of classical logic. The formulas of our language are possibly infinitary trees labeled by propositional variables and logical connectives. We show that in our setting every recursive formula equation has a unique solution. As for derivations, we use an infinitary variant of Tait–calculus to derive sequ...
متن کاملA Semantics for Rational Closure: Preliminary Results
We provide a semantical reconstruction of rational closure. We first consider rational closure as defined by Lehman and Magidor for propositional logic, and we provide a semantical characterization based on minimal models mechanism on rational models. Then, we extend the whole formalism and semantics to Description Logics focusing our attention to the standard ALC: we first naturally adapt to D...
متن کاملExogenous Semantics Approach to Enriching Logics
The exogenous semantics approach to enriching a logic consists in defining each model in the enrichment as a set of models in the original logic plus some relevant structure. We illustrate the approach by probabilizing classical propositional logic, including a novel global propositional logic. A model of the probability logic is a probability space where the outcomes are classical valuations. ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2009